منابع مشابه
An Approach to Modeling and Verification of Real-Time Systems
In the article an approach to modeling and verification of real-time systems is presented. Specification PEARL description language in used for HW / SW modeling. It has its origins in the standard Multiprocessor PEARL language. Its usefulness has been enhanced for asymmetrical multiprocessor system modeling and parameters for schedulability analysis have been added. It is meant to be an over-la...
متن کاملAn Integrated Approach to P Systems Formal Verification
This paper presents a method of formally verifying P system specifications by first identifying invariants and then checking them, using the NuSMV model checker, against a Kripke structure representation. The method is applied to a basic class of P systems with transformation and communication rules using either maximal parallelism or asynchronous rewriting strategy and for a special variant of...
متن کاملAn Approach to the Verification of Cyber Physical Systems
Cyber-physical systems (CPS) are systems that combine a physical system with an embedded information processing system such that the resulting system has novel capabilities that could not be achieved by either the physical or the computational entity alone. Reachability study has become the most basic and important challenging subject of Cyber physical systems. In this paper present a reachabil...
متن کاملAn Approach to Modelling and Verification of Component Based Systems
We build on a framework for modelling and investigating componentbased systems that strictly separates the description of behavior of components from the way they interact. We discuss various properties of system behavior as liveness, local progress, local and global deadlock, and robustness. We present a criterion that ensures liveness and can be tested in polynomial time.
متن کاملVerification of Uncertain Knowledge-Based Systems: An Empirical Verification Approach
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 1989
ISSN: 0168-7433,1573-0670
DOI: 10.1007/bf00243131